DBMS - Algorithm To check Whether a Decomposition is Lossless